extern int rand_znn(void);
extern void srand_znn(int seed);